Petri-net相关论文
确保资源的合理访问,设计正确的控制协议很重要.本文针对对等网络,设计了基于信誉传递的资源访问控制协议框架,并建立了基于Petri......
如今,大多数企业都使用信息系统来进行业务过程管理。其中,很大一部分的信息系统,都会使用工作流模型描述任务关系并维护整个业务......
我国地下煤矿开采环境恶劣,各类安全事故时有发生。部署无线传感器网络实时监控煤矿采空区生产和人员安全,提高突发灾难预警的及时......
BPM是继工作流(Workflow)之后业界研究和实现业务管理的又一个新方向和热点,它不仅结合了最新的信息技术,对贯穿整个企业经营活动......
在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不......
以分布、异构、多自治域的互联网环境为背景，提出利用有色Petri网对web服务组合进行建模的方法，给出了web服务组合网的形式化描述和......
本文采用组件化的方法,通过Petri网对工作流过程模型进行组件形式的建模,以降低建模的难度,提高建模的效率,提高模型的可复用性和......
本文采用组件化的方法,通过Petri网对工作流过程模型进行组件形式的建模,以降低建模的难度,提高建模的效率,提高模型的可复用性和......
在黑启动过程中,建立相应的发电机、母线及线路开关等分层主体,进行相互通信与协调控制,实时监测电力系统的状态变化,并采用Petri-......
在黑启动过程中,建立相应的发电机、母线及线路开关等分层主体,进行相互通信与协调控制,实时监测电力系统的状态变化,并采用Petri-......
虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用P......
以分布、异构、多自治域的互联网环境为背景，提出利用有色Petri网对web服务组合进行建模的方法，给出了web服务组合网的形式化描述和......
针对虚拟维修培训中可能存在不同培训任务的问题，建立了基于Petri网的培训任务规划模型，定义了Petri网广义变迁的扩展属性，提出了利用......
针对当前工作流模型没有明显的时间约束以及缺乏对复杂工作流系统支持的现状,对经典Petri网在时间和层次方面进行扩展,提出了一个......
以Petri网为建模工具,以Profibus现场总线为通信手段,用一台工业机器人和一部有轨小车作为物料输运工具,将一台加工中心、一台数控......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
语义Web服务组合的形式化描述和验证，是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程（Answer SetProgramming）的OW......
本文在分析了基于跳汰工艺选煤的生产系统及其过程控制系统的基础上，利用面向Agent计算原理和方法，提出一个面向Agent的跳汰选煤MAS......
CA证书管理是PKI网络安全体系实施的关键,它涉及到密钥和证书从创建到撤销的整个过程.文中使用Petri网理论中的库所/变迁系统模型......
针对现有的组件服务发现方法存在自动识别率和重复使用率低下的问题,文中首先利用Petri网理论设计了一种自动组件服务发现框架,用......
针对单装备件需求量确定问题，分析影响备件需求量确定的约束因素，包括备件的保障费用和装备的使用可用度等，由此建立单装备件需求量确......
建立了一种应用于基于RFID（无线射频识别）的单件生产实验系统的四自由度机械手控制的Petri网模型，给出了其控制方法，使其能完成零件的......
工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求,在探讨和总结当前比较流行的几种工作流建模方法优劣的基......
本文分析了并行工程环境一产品开发手组织结构特点，以产品开发初期产品类的设计一资源的战略管理的并行工程为内容、建立基于工程的......
针对NR-SS(Network-attached Raid Storage System)中采用存储设备与主机间的异构双通道连接模式,以及命令与数据分流的处理方式,......
文章提出了一种应用Petri网（PN）对MAS会话进行建模的新方法，对Agent会话的过程行了研究与分析，以英式拍卖协议中Agent会话为例，设计了拍......
针对目前缺乏评估现有流程相似性算法性能的基准数据集问题,在IBM公开的数据集基础上,用Petri网建模流程模型,提出一种评估流程相......
文章在分析机器人足球的角色的基础上，提出了用Petri-net来描述角色转换的原理，该方法简洁明了，完全适用于机器人足球多协调决策系统......
文章在分析机器人足球的角色的基础上，提出了用Petri-net来描述角色转换的原理，该方法简洁明了，完全适用于机器人足球多协调决策系统......
为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提......
...
机场场面航空器的动态最优滑行路径研究是A-SMGCS的前提和关键,包括动态路径规划和滑行时间调度两方面.针对A-SMGCS中动态路径规划......
采用赋时库所Petri-Net对非流水型的生产作业建立一般的调度模型，然后对模型进行代数化的描述，同时证明了非流水型生产调度问题的解......
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri......
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤......
面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网......
提出在基于Petri网理论的基础上扩充得到工作流Petri网,依此来对工作流过程进行建模———工作流管理中的关键技术.通过一个服装设......
会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议，在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri......
MVC（模型／视图／控制器）是一种应用广泛的设计模式，ERP是一种复杂的大型企业信息系统。阐述了MVC模式的原理及其主要应用方式，提出并实现......
ＣＩＭＳ多方位（视图）模型的一致性问题是ＣＩＭＳ建模方法学中的研究重点。本文提出了一种从基于ＩＤＥＦ０的功能模型到基于Ｐｅｔｒｉ－Ｎｅｔ的动态模型的映射机制，为研究模型一......
分形图形技术存在着迭代复杂、计算量大和模型固定等问题,将Petri网理论中的建模控制和并行计算与分形技术相结合,解决了计算量大......
利用扩充Petri网对迁移工作流进行抽象描述并建立模型,对Petri网的位置、转移、令牌等要素进行扩充描述,使扩充Petri模型能够体现......
随着计算机科学的不断发展，对离散数学的研究也日益重要。如何将基础理论和专业知识更好地融会贯通，是提高离散数学教学质量的重要途......
安全自毁系统对于防止导弹发射出现重大事故具有重要作用，为此，通过对导弹安全自毁系统工作过程的分析，建立了该系统的Petri网模型。......
Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri......
需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统......
用Petri网建立的模型更有利于动态仿真，适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行......
介绍了开关磁阻电动机的准线性数学模型,以此为基础,使用Matlab/Simulink建立了通用的开关磁阻电机仿真模型;设计了电压斩波控制,......
